MİLLÎ KÜTÜPHANEDE KAYITLI BİR ŞİİR MECMUASININ (06 MİL YZ A 7131) MESTAP A GÖRE TASNİFİ
نویسندگان
چکیده
منابع مشابه
Verifying a Garbage Collection Algorithm yz
We present a case study in using the PVS interactive theorem prover to formally model and verify properties of a tricolour garbage collection algorithm. We model the algorithm using state transition systems and verify safety and liveness properties in linear temporal logic. We set up two systems, each of which models the algorithm itself, object allocation, and the behaviour of user programs. T...
متن کاملStop saying ‘ ‘ epileptic ’ ’ * yz
*Department of Neurology of Faculty of Medical Sciences of State University of Campinas (UNICAMP), Campinas, SP, Brazil; yASPE (Assistência à Saúde de Pacientes com Epilepsia), Campinas, SP, Brazil; zCInAPCe Program (Cooperação Interinstitucional de Apoio à Pesquisas sobre o Cérebro), São Paulo State, Brazil; and xDepartment of Social and Preventive Medicine of Medical Sciences of State Univers...
متن کاملBIAS OPTIMALITY IN A QUEUE WITH ADMISSION CONTROL yz
We consider a nite capacity queueing system in which each arriving customer o ers a reward. A gatekeeper decides based on the reward o ered and the space remaining whether each arriving customer should be accepted or rejected. The gatekeeper only receives the o ered reward if the customer is accepted. A traditional objective function is to maximize the gain; that is, the long-run average reward...
متن کاملThe Capacity of Wireless Networks yz
When n identical randomly located nodes, each capable of transmitting at W bits/sec and using a xed range, form a wireless network, the throughput (n) obtainable by each node for a randomly chosen destination is ( W p n log n ) bits/sec under a non-interference protocol. If the nodes are optimally placed in a disk of unit area, traÆc patterns are optimally assigned, and each transmission's rang...
متن کاملاینورتر منبع امپدانسی YZ
چکیده: در این مقاله، ساختار پیشنهادی بر مبنای اینورتر منبع امپدانسی ارائه شده است. در ساختار پیشنهادی دو ترانسفورماتور با سه سیم‌پیچ جایگزین دو سلف اینورتر منبع امپدانسی کلاسیک، شده است. ساختار جدید، دارای ضریب تقویت بالاتری نسبت به سایر اینورترهای منبع امپدانسی، مستقل از مقدار D است. همچنین به‌منظور دست‌یابی به شکلموج خروجی با کیفیت بسیار بالا، شاخص مدولاسیون بسیار بزرگ (نزدیک به یک) در نظ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Osmanli Mirasi Arastirmalari Dergisi
سال: 2020
ISSN: 2148-5704
DOI: 10.17822/omad.2020.153